-
1 definable structure
Большой англо-русский и русско-английский словарь > definable structure
-
2 definable structure
Математика: определимая структура -
3 definable structure
-
4 structure
1) конструкция; строение; структура || структурировать2) сооружение, здание; строительная конструкция3) состав4) текстура5) геол. формация•- finitely generated structure - fish protection structure - locally convex structure - recursively presentable structure - redundant logical structure - strictly finer structure - strongly undecidable structure - weakly saturated structure -
5 определимая структура
Большой англо-русский и русско-английский словарь > определимая структура
-
6 function
1) функция, действие || функционировать; действовать- essential functions - routine function - safety-related functions2) функциональное назначение; роль- circuit function - intrinsic function - metering function - primary function - robot function - planning function - service function - support function4) функциональный узел ( машины)5) матем. функциональная зависимость, функция- absolutely additive function - absolutely bounded function - absolutely continuous function - absolutely integrable function - absolutely monotone function - absolutely summable function - absolutely symmetric function - almost complex function - almost continuous function - almost convex function - almost everywhere defined function - almost everywhere finite function - almost invariant function - almost periodic function - almost recursive function - almost separably-valued function - almost separating function - almost universal function - analytically independent function - analytically representable function - approximately differentiable function - asymptotically differentiable function - asymptotically finite function - asymptotically uniformly optimal function - bounded below function - cellwise continuous function - circumferentially mean p-valent function - comparison function - complementary error function - complete analytic function - completely additive function - completely computable function - completely monotone function - completely multiplicative function - completely productive function - completely subadditive function - completely symmetrical function - completely undefined function - complex hyperbolic function - conditional risk function - countably multiplicative function - countably valued function - covariant function - cumulative distribution function - cumulative frequency function - deficiency function - double limit function - doubly periodic function - doubly recursive function - effectively computable function - effectively constant function - effectively decidable function - effectively variable function - elementarily symmetric function - entire function of maximum type - entire function of mean type - entire function of potential type - entire function of zero type - entire rational function - essentially increasing function - essentially integrable function - essentially real function - essentially smooth function - everywhere differentiable function - everywhere smooth function - expansible function - explicitly definable function - exponentially convex function - exponentially decreasing function - exponentially increasing function - exponentially multiplicative function - exponentially vanishing function - finitely mean valent function - finitely measurable function - function of appropriate behavior - function of bounded characteristic - function of bounded type - function of bounded variation - function of complex variable - function of exponential type - function of finite genus - function of finite variation - function of fractional order - function of infinite type - function of integral order - function of maximal type - function of minimal type - function of mixed variables - function of normal type - function of number theory - function of one variable - function of rapid descent - function of rapid growth - function of real variable - general universal function - geometric carrier function - implicitly definable function - incomplete dibeta function - incomplete gamma function - incomplete tribeta function - incompletely defined function - inductively defined function - inductively integrable function - infinitely divisible function - infinitely many-valued function - integral logarithmic function - inverse trigonometric function - inverted beta function - iterative function - joint correlation function - joint density function - linearly separable function - locally bounded function - locally constant function - locally holomorphic function - locally homogeneous function - locally integrable function - locally negligible function - locally regular function - locally summable function - logarithmic generating function - logarithmic integral function - logarithmically infinite function - logarithmically plurisubharmonic function - logarithmically subharmonic function - lower semicontinuous function - monotone non-decreasing function - monotone non-increasing function - multiply periodic function - multiply recursive function - negative definite function - negative infinite function - nontangentially bounded function - normalized function - normed function - nowhere continuous function - nowhere differentiable function - nowhere monotonic function - n-times differentiable function - n-tuply periodic function - numeralwise expressible function - numeralwise representable function - numerical function - numerically valued function - oblate spheroidal function - operating characteristic function - optimal policy function - parametrically definable function - partially symmetric function - piecewise constant function - piecewise continuously differentiable function - piecewise linear function - piecewise monotonic function - piecewise polynomial function - piecewise quadratic function - piecewise regular function - piecewise smooth function - pointwise approximated function - positive homogeneous function - positive infinite function - positive monotone function - positive monotonic function - positive semidefinite function - potentially calculable function - potentially recursive function - power series function - probability generating function - quadratically summable function - rapidly damped function - rapidly decreasing function - rapidly oscillatory function - recursively continuous function - recursively convergent function - recursively defined function - recursively differentiable function - recursively divergent function - recursively extensible function - relative distribution function - relative frequency function - representing function - reproducing kernel function - residual function - residue function - scalarwise integrable function - scalarwise measurable function - sectionally smooth function - simply periodic function - singly recursive function - slowly increasing function - slowly oscillating function - slowly varying function - smoothly varying function - solid spherical harmonic function - solid zonal harmonic function - steadily increasing function - stopped random function - strictly convex function - strictly decreasing function - strictly increasing function - strictly integrable function - strictly monotone function - strongly differentiable function - strongly holomorphic function - strongly integrable function - strongly measurable function - strongly plurisubharmonic function - totally additive function - totally continuous function - totally measurable function - totally multiplicative function - totally positive function - triangular function - uniformly best decision function - uniformly bounded function - uniformly definable function - uniformly differentiable function - uniformly homotopic function - uniformly integrable function - uniformly limited function - uniformly measurable function - uniformly smooth function - unit step function - unitary divisor function - upper measurable function - upper semicontinuous function - weakly analytic function - weakly continuous function - weakly differentiable function - weakly holomorphic function - weakly measurable function - weakly singular function - weighted random functiondomain of a function — область определения функции, область изменения независимой переменной
-
7 finitely
конечно-дифференцирующий almost finitely generated module ≈ почти конечно порожденный модуль almost finitely related module ≈ почти конечно связанный модуль finitely additive function ≈ конечно аддитивная функция finitely additive measure ≈ конечно аддитивная мера finitely approximable group ≈ конечно аппроксимируемая группа finitely approximable semigroup ≈ финитно аппроксимируемая полугруппа finitely approximated system ≈ конечно аппроксимированная система finitely axiomatizable class ≈ конечно аксиоматизируемый класс finitely axiomatizable quasivariety ≈ конечно аксиоматизируемое квазимногообразие finitely axiomatizable system ≈ конечно аксиоматизируемая система finitely axiomatizable theor ≈ конечно аксиоматизируемая теория finitely axiomatizable variety ≈ конечно аксиоматизируемое многообразие finitely basable manifold ≈ конечно базируемое многообразие finitely bounded germ ≈ конечно ограниченный росток finitely cogenerated group ≈ конечно копорожденная группа finitely compact manifold ≈ конечно компактное многообразие finitely compact set ≈ конечно компактное множество finitely compact space ≈ конечно компактное пространство finitely connected domain ≈ конечносвязная область finitely connected module ≈ конечно связный модуль finitely connected subset ≈ конечно связное подмножество finitely convergent element ≈ конечно сходящийся элемент finitely convergent semigroup ≈ конечно сходящаяся полугруппа finitely definable quasivariety ≈ конечно определимое квазимногообразие finitely definable variety ≈ конечно определимое многообразие finitely defined algebra ≈ конечно определенная алгебра finitely defined group ≈ конечно определенная группа finitely definite set ≈ конечно определенное множество finitely differentiable equation ≈ конечно-дифференцируемое уравнение finitely generated algebra ≈ конечно порожденная алгебра finitely generated extension ≈ конечно порожденное расширение finitely generated field ≈ конечно порожденное поле finitely generated group ≈ матем. группа с конечным числом образующих finitely generated model ≈ конечно порожденная модель finitely generated monoid ≈ конечно порожденный моноид finitely generated presentation ≈ конечно порожденное представление finitely generated representation ≈ конечно порожденное пространство finitely generated ring ≈ конечно порожденное кольцо finitely generated semigroup ≈ конечно порожденная полугруппа finitely generated sheaf ≈ пучок с конечным числом образующих finitely generated structure ≈ конечно порожденная структура finitely generated subgroup ≈ конечно порожденная подгруппа finitely generated submodule ≈ конечно порожденный подмодуль finitely generated subobject ≈ конечно порожденный подобъект finitely generating ideal ≈ конечно порожденный идеал finitely mean valent function ≈ конечнолистная в среднем функция finitely measurable function ≈ конечно измеримая функция finitely measurable set ≈ конечно измеримое множество finitely presented group ≈ конечно представимая группа finitely presented module ≈ конечно представимый модуль finitely presented semigroup ≈ конечно определенная полугруппа finitely presented system ≈ конечно представленная система finitely productive space ≈ конечно продуктивное пространство finitely related group ≈ группа с конечным числом отношений finitely related presentation ≈ представление с конечным числом соотношений finitely related representation ≈ представление с конечным числом определяющих соотошений finitely sheeted domain ≈ конечнолистная область finitely sheeted space ≈ конечнолистное пространство finitely spanned module ≈ матем. модуль конечнопорожденный finitely triangulated manifold ≈ конечно триангулированное многообразие finitely triangulated space ≈ конечно триангулированное пространство finitely triangulated triad ≈ конечно триангулированная триада finitely valued function ≈ конечнозначная функция finitely valued random variable ≈ конечнозначная случайная величина purely finitely additive ≈ вполне конечно аддитивный - at most finitely many - finitely additive - finitely approximable - finitely axiomatized - finitely branched - finitely cogenerated - finitely compact - finitely connected - finitely covered - finitely definable - finitely defined - finitely dependent - finitely differentiable - finitely distributive - finitely generated - finitely invariant - finitely measurable - finitely open - finitely presented - finitely productive - finitely related - finitely satisfiable - finitely sheeted - finitely subadditive - finitely valued FinitelyБольшой англо-русский и русско-английский словарь > finitely
-
8 language
- absolutely homogeneous language - absolutely inadequate language - absolutely nonhomogeneous language - absolutely nonperfect language - absolutely nonsimple language - absolutely perfect language - absolutely simple language - completely formalized language - completely homogeneous language - left categorial language - locally perfectly adequate language - locally simple language - locally strongly language - locally well adequate language - noncompletely homogeneous language - right categorial language - scattered context languageindistinguishable in the language — лог. неразличимый на языке, эквивалентный
-
9 characteristic
1) свойство, признак2) характеристика; мн. ч. технические данные; параметры3) кривая•-
absolute spectral-response characteristic
-
acceleration characteristic of fuel
-
acceleration characteristic
-
acceptable water characteristic
-
adsorption-desorption characteristic of catalyst
-
aerodynamic characteristics
-
aerolastic characteristics
-
aging characteristics
-
air flow characteristic
-
aircraft performance characteristics
-
amplitude-versus-frequency response characteristic
-
amplitude-frequency response characteristic
-
amplitude-versus-frequency characteristic
-
amplitude-frequency characteristic
-
amplitude-phase characteristic
-
anode characteristic
-
attenuation characteristic
-
availability characteristic
-
background response characteristic
-
baking characteristic
-
B-H characteristic
-
bonding characteristics
-
brake response characteristic
-
braking characteristic
-
bread-making characteristic
-
breakdown characteristic
-
brittle-fracture characteristic
-
camera spectral-sensitivity camera-taking characteristics
-
camera spectral camera-taking characteristics
-
camera spectral-sensitivity characteristics
-
camera spectral characteristics
-
casting characteristics
-
cathode characteristic
-
charge characteristic
-
chromatic characteristic
-
cleaning characteristics
-
coking characteristics
-
color characteristic
-
color photographic characteristics
-
comparison characteristics
-
constant-current characteristic
-
continuous cooling transformation characteristics
-
control characteristic
-
cooking characteristics
-
corrosive characteristics
-
crack propagation characteristic
-
cracking characteristic of catalyst
-
creep characteristic
-
current-illumination characteristic
-
current-voltage characteristic
-
cutoff characteristic
-
cutoff current characteristic
-
damping characteristic
-
dc characteristic
-
decay characteristic
-
design characteristics
-
detonation characteristic
-
diode characteristic
-
directional characteristic
-
discharge characteristic
-
discharge voltage-current characteristic
-
distillation characteristic
-
double-humped characteristic
-
drooping characteristic
-
dynamic characteristic
-
edibility characteristics
-
efficiency-concentration characteristic
-
E-I characteristic
-
elastic characteristics
-
electrode characteristic
-
elevation characteristics
-
emission characteristic
-
engine full-load characteristics
-
envelope delay characteristic
-
etching characteristic
-
exposure characteristics
-
fail-safe characteristics
-
falling characteristic
-
fatigue characteristic
-
feedback characteristic
-
filtration characteristic of catalyst
-
flashover characteristic
-
flight characteristics
-
flow characteristics
-
fluidizing characteristics
-
forward characteristic
-
frequency-response characteristic
-
frequency characteristic
-
friction gearing pull characteristic
-
frictional characteristic of lubricants
-
fuel gravity characteristics
-
full-load characteristic
-
fusibility characteristic
-
gain characteristic
-
gain-frequency characteristic
-
gain-phase characteristic
-
gain-transfer characteristic
-
gamma characteristic
-
gray-tone characteristic
-
grid characteristic
-
grid-drive characteristic
-
group-delay characteristic
-
handling characteristic
-
hardening characteristics
-
heat transfer characteristic
-
high-temperature stress-rupture characteristic
-
holographic characteristics
-
hysteresis characteristic
-
impedance-frequency characteristic
-
impedance characteristic
-
input characteristic
-
knock characteristic of gasoline
-
lag characteristic
-
landing characteristics
-
light-transfer characteristic
-
linear characteristic
-
load characteristic
-
longevity propagation characteristic
-
luminous characteristic
-
luminous-resistance characteristic
-
machine characteristics
-
magnetic characteristic
-
magnetization characteristic
-
mb characteristics
-
metering characteristic
-
milling characteristic
-
moisture discharge characteristic
-
noise characteristic
-
no-load characteristic
-
nozzle spray characteristic
-
numerical characteristic
-
open-circuit characteristic
-
operating characteristics
-
optimal characteristic
-
output characteristic
-
overload characteristics
-
oxidation characteristic
-
packing characteristic of polymer
-
performance characteristics
-
persistance characteristic
-
phase-response characteristic
-
phase characteristic
-
photographic characteristics
-
photovoltaic characteristic
-
plate characteristic
-
population characteristic
-
pore structure characteristic of catalyst
-
positive void characteristic
-
power characteristic of fuel
-
prearcing time/current characteristic
-
pressure drop characteristics
-
processing characteristics
-
propulsion performance characteristics
-
pulse-response characteristic
-
pulse characteristic
-
qualitative characteristic
-
quantitative characteristic
-
quantization characteristic
-
recovery characteristic
-
rectifying characteristic
-
reliability characteristic
-
resin leakage characteristics
-
resistance variation characteristic
-
resistance-temperature characteristic
-
resolving-power characteristics
-
resonance characteristic
-
response characteristic
-
reverse characteristic
-
running characteristics
-
sample characteristic
-
saturation characteristic
-
sensitometric characteristics
-
series characteristic
-
shatter characteristic
-
short-circuit characteristic
-
shunt characteristic
-
sloping characteristic
-
solidifying characteristics of oil
-
spectral characteristic
-
spectral-sensitivity characteristic
-
speed-torque characteristic
-
spin-recovery characteristics
-
square-wave response characteristic
-
stability characteristics
-
stalling characteristics
-
stall characteristics
-
start/stop characteristic
-
starting characteristic
-
static characteristic
-
steady-state characteristic
-
strain-hardening characteristic
-
strength characteristics
-
surge characteristic
-
swelling characteristic
-
switching characteristic
-
takeoff and landing characteristics
-
temperature characteristic
-
test-bench characteristics
-
thermal and physical characteristics
-
throttling characteristic
-
time characteristic
-
time-to-failure characteristic
-
timing characteristic
-
toughness characteristic
-
towing characteristic
-
track-defining characteristics
-
transfer characteristic
-
transient characteristic
-
transmission characteristic
-
tribological characteristics
-
tribometrical characteristics
-
tribotechnical characteristics
-
trim characteristics
-
trouble-free characteristic
-
turn characteristics
-
unitgraph characteristics
-
unwinding characteristic
-
user-definable characteristics
-
viscosity-temperature characteristic
-
voltage-current characteristic
-
voltage-time characteristic
-
wavelength characteristic
-
wear characteristics
-
well producing characteristics
-
work-hardening characteristic
-
working characteristics -
10 functor
См. также в других словарях:
Structure (mathematical logic) — In universal algebra and in model theory, a structure consists of a set along with a collection of finitary operations and relations which are defined on it. Universal algebra studies structures that generalize the algebraic structures such as… … Wikipedia
Definable set — In mathematical logic, a definable set is an n ary relation on the domain of a structure whose elements are precisely those elements satisfying some formula in the language of that structure. A set can be defined with or without parameters, which … Wikipedia
Definable — In mathematical logic, the word definable may refer to: A definable real number. A definable set. A definable integer sequence. A relation or function definable over a first order structure. A mathematical object or concept that is well defined.… … Wikipedia
Interpretable structure — In model theory, a structure N is called interpretable in M if all the components (universe, functions, relations etc.) of N can be defined in terms of the components of M . In particular, the universe of N is represented as a definable subset of … Wikipedia
Algebraic structure — In algebra, a branch of pure mathematics, an algebraic structure consists of one or more sets closed under one or more operations, satisfying some axioms. Abstract algebra is primarily the study of algebraic structures and their properties. The… … Wikipedia
Weakly o-minimal structure — Weakly O Minimal Definition = A linearly ordered structure, m, with language L including anordering relation … Wikipedia
The Structure of Scientific Revolutions — (1962), by Thomas Kuhn, is an analysis of the history of science. Its publication was a landmark event in the sociology of knowledge, and popularized the terms paradigm and paradigm shift .HistoryThe work was first published as a monograph in the … Wikipedia
OpenWGA — Screenshot OpenWGA Content … Wikipedia
o-minimal theory — In mathematical logic, and more specifically in model theory, an infinite structure (M,<,...) which is totally ordered by < is called an o minimal structure if and only if every definable subset X ⊂ M (with parameters taken from… … Wikipedia
Aristotle’s logic and metaphysics — Alan Code PART 1: LOGICAL WORKS OVERVIEW OF ARISTOTLE’S LOGIC The Aristotelian logical works are referred to collectively using the Greek term ‘Organon’. This is a reflection of the idea that logic is a tool or instrument of, though not… … History of philosophy
Interpretation (model theory) — In model theory, interpretation of a structure M in another structure N (typically of a different signature) is a technical notion that approximates the idea of representing M inside N . For example every reduct or definitional expansion of a… … Wikipedia